<?php 
	if ( !isset($_SESSION['user']))
	{
		exit();
	}
?>
<div style="float:right" id="compare">compare</div><span class="menu">Archivo<div class="submenu"><div>Nuevo</div><div>Cerrar</div></div></span><span clasS="menu">Formato</span><span class="menu">Glosario</span><span class="menu">Ayuda</span>
